Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Fine structure and iteration trees
| Fine structure and iteration trees |
| Autore | Mitchell William J |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer Verlag, 1994 |
| Descrizione fisica | 1 online resource (137 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in logic Fine structure and iteration trees |
| Soggetto topico |
Constructive mathematics
Set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21903-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 3 Fine Structure and Iteration Trees -- Fine Structure and Iteration Trees -- Copyright -- Contents -- 0. Introduction -- 1. Good Extender Sequences -- 2. Fine Structure -- 3. Squashed Mice -- 4. Ultrapowers -- 5. Iteration Trees -- 6. Uniqueness of Wellfounded Branches -- 7. The Comparison Process -- 8. Solidity and Condensation -- 9. Uniqueness of the Next Extender -- 10. Closure under Initial Segment -- 11. The Construction -- 12. Iterability -- References -- Index of Definitions -- Index. |
| Record Nr. | UNISA-996210817503316 |
Mitchell William J
|
||
| [Place of publication not identified], : Springer Verlag, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fine structure and iteration trees
| Fine structure and iteration trees |
| Autore | Mitchell William J |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer Verlag, 1994 |
| Descrizione fisica | 1 online resource (137 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in logic Fine structure and iteration trees |
| Soggetto topico |
Constructive mathematics
Set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21903-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 3 Fine Structure and Iteration Trees -- Fine Structure and Iteration Trees -- Copyright -- Contents -- 0. Introduction -- 1. Good Extender Sequences -- 2. Fine Structure -- 3. Squashed Mice -- 4. Ultrapowers -- 5. Iteration Trees -- 6. Uniqueness of Wellfounded Branches -- 7. The Comparison Process -- 8. Solidity and Condensation -- 9. Uniqueness of the Next Extender -- 10. Closure under Initial Segment -- 11. The Construction -- 12. Iterability -- References -- Index of Definitions -- Index. |
| Record Nr. | UNINA-9910482885303321 |
|
Mitchell William J
|
||
| [Place of publication not identified], : Springer Verlag, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||